Ontologie : Compagnie des Câbles et Téléphériques
élément : owl:InverseFunctionalProperty
rdf:ID : formalize_requirement
rdfs:label : formalise