Une condition impliquant toutes les identités rationnellesM. BoffaRAIRO-Theor. Inf. Appl., 29 6 (1995) 515-518DOI: https://doi.org/10.1051/ita/1995290605151