Merci à mon épouse, Emeline, pour son soutien, ses conseils, ses relectures de mon orthographe et pour m'avoir aidé avec les Théorèmes~\ref{th:fini-em} et~\ref{th:aia-bluey}. Merci à Antoine Boutet et Mathieu Cunche pour leur encadrement. Merci à ma mère Joëlle et mon père Pieter pour ne m'avoir jamais laché. Merci à toute l'équipe Privatics de l'INRIA pour les super séminaires toujours passionnants. Merci à Frédéric Le Mouël, à Linda Soumari, et à tout le laboratoire CITI de l'INSA Lyon pour leur accompagnement. Merci à Cécile Mercadier et Clément Marteau d'avoir cru en moi. Merci à Sébastien Gambs pour son accueil chaleureux à l'Université de Québec à Montréal. Merci à Mr.Noyer, Romain Bondil, Ludovic Menneteau, Bijan Mohammadi et Andro Mikelic ainsi que tous les enseignants qui ont su me montrer la beauté des mathématiques. Merci à ma petite soeur Claire pour avoir activement contribué à faire de moi qui je suis. Merci les copains : Abhi, Adrien, Amine, Anthonin, Arthur, Clément, Bastien D., Bastien M., Bastien R., Benoit, Benoît, Célestin, Léo, Nathan, Rémi, Samuel, Thomas, Valentin, Virgile. Merci à Maryse, Jean-Claude et Patricia pour leur bienveillance. Merci à tous les habitants de Saint-Jean-De-Cuculles pour leur accueil. Merci à Raclette et Cookie pour leur mignonnerie.