Aspects Formels et Algorithmiques de l'Intelligence Artificielle