ajout du main pour la compilation des tex de recherches