TY  - JOUR
AU  - Marcel Crabbé
TI  - Une axiomatisation de la substitution
JO  - Comptes Rendus. Mathématique
PY  - 2004
SP  - 433
EP  - 436
VL  - 338
IS  - 6
PB  - Elsevier
DO  - 10.1016/j.crma.2004.01.021
LA  - fr
ID  - CRMATH_2004__338_6_433_0
ER  -