PREUVES - DM3 : Omniscience Yassine Hamoudi sujet.pdf : sujet du DM dm.v : code Coq réponse.tex / réponse.pdf : réponse aux questions sur papier