Add french book "Le Coq' Art (V8)", Bertot & Castéran
Add french course "Preuves de programmes en coq", Bertot
Merge pull request #381 from ericguirbal/fr

Add french book and french course on Coq by Bertot