diff --git a/free-programming-books-fr.md b/free-programming-books-fr.md
index 78b065baead416361aa5ba397508fda916835af8..f66b2d1d2be4fbc172eabb3aff2f33eb896738cd 100644
--- a/free-programming-books-fr.md
+++ b/free-programming-books-fr.md
@@ -4,6 +4,7 @@
 * [Assembleur](#assembleur)
 * [Caml](#caml)
 * [C / C++](#c--c)
+* [Coq](#coq)
 * [Git](#git)
 * [Haskell](#haskell)
 * [Java](#java)
@@ -75,6 +76,11 @@
 * [Introduction à la rétro-ingénierie de binaires](http://progdupeu.pl/articles/45/introduction-a-la-retro-ingenierie-de-binaires), à partir de code C compilé pour x86.
 * [Programmation en C](https://www.rocq.inria.fr/secret/Matthieu.Finiasz/teaching/ENSTA/IN101%20-%20poly%20C.pdf) par Pierre-Alain Fouque et David Pointcheval
 
+###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
 
 * [Git Magic](http://www-cs-students.stanford.edu/~blynn/gitmagic/intl/fr/) par par Alexandre Garel, Paul Gaborit et Nicolas Deram