Les suppléments de Coq Hardi