Raison computationnelle et IA