Type Interpretant_I : Interprétant I
2 annotation(s)