Projet d'IA : Design automatique (CAutoD) d'une porte logique