Modèles décidables pour la spécification d’ontologies Modèle décidable de la Méréologie Extension de la Méréologie au modèle décidable de la méréo-géometrie de Tarski Extension de la Méréologie au modèle décidable de la Topologie