ajout du projet prolog-spec