@article{CRMATH_2004__338_6_433_0,
     author = {Marcel Crabb\'e},
     title = {Une axiomatisation de la substitution},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {433--436},
     publisher = {Elsevier},
     volume = {338},
     number = {6},
     year = {2004},
     doi = {10.1016/j.crma.2004.01.021},
     language = {fr},
}