Source: http://www.ietp.com/sites/default/files/Etude-Formalisation-VF.pdf