Mathématiques pour l’intelligence artificielle