https://erdorin.org/chausse-coq-2007/