https://www.exosup.com/2015/02/cours-formalisme-mathematique-de-la.html