L’ontologie est-elle mathématique ou informatique?