Nicolas Méric: An Ontology Framework for Formal Libraries: Doctoral Thesis at the University Pris-Saclay. (Conception et Implémentation d'un Environnement d'Ontologie pour des Bibliothèques Formelles). University of Paris-Saclay, France 2024