Anemf.org n°9

[Coq]

Bonjour,

Je recherche désespérément l'Anemf.org n°9, le fichier téléchargeable sur e-cara ne marche pas...

Ce serait très chouette si quelqu'un pourrait me dire où le trouver !

Merci

[Jeanne Picart]

Voici! J'espère que ça marchera.

Bonne lecture!