v(0.1). Version finale. Ajout des commentaires pour les prédicats (+-?)