Source: https://coq.qc.ca/documents/dossiers-de-robert-morin/construire_un_nichoir.pdf