Les I-types du système K. NourRAIRO-Theor. Inf. Appl., 35 3 (2001) 223-237DOI: https://doi.org/10.1051/ita:2001116