Source: https://www.rocq.inria.fr/axis/modulad/numero-35/Excelense-grenier-35/DiagrammedeHenry.pdf