Add french book and french course on Coq by Bertot