@article{CRMATH_2004__338_6_433_0, author = {Crabb\'e, Marcel}, 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}, url = {http://www.numdam.org/articles/10.1016/j.crma.2004.01.021/} }