ajout d'un aide mémoire pour Menhir (pour le moment, uniquement regles de priorité)
Merge branch 'master' of github.com:Pixotters/cours_l3_s2