Systèmes Formels Intelligence Artificielle