Najah Chridi: Contributions à la vérification automatique de protocoles de groupes. (Contributions to the automatic verification of group protocols). Henri Poincaré University, Nancy, France 2009