longue compilation amateur coq