Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique.