diff --git a/free-programming-books-fr.md b/free-programming-books-fr.md
index 082fa9500596c84e2e2869d1aa2849ff67586be0..f66b2d1d2be4fbc172eabb3aff2f33eb896738cd 100644
--- a/free-programming-books-fr.md
+++ b/free-programming-books-fr.md
@@ -79,6 +79,7 @@
 ###Coq
 
 * [Le Coq'Art (V8)](http://www.labri.fr/perso/casteran/CoqArt) par Yves Bertot et Pierre Castéran
+* [Preuves de programmes en coq](http://fuscia.inrialpes.fr/cours/coq/) par Yves Bertot
 
 ###Git