Repo pour le cours de spec formelles