https://123dok.net/document/6qm3v7wy-approche-algebrique-typage-langage-objets-typage-multi-methodes.html