Le domaine du choix social s’intéresse à la formalisation des règles permettant, au sein d’une micro-société, de prendre en compte les opinions et préférences des divers individus en présence afin d’aboutir à une décision collective reflétant une forme de consensus. Bien que les philosophes se soient penchés dès l’antiquité sur ces domaines, on associe souvent la naissance de la théorie du choix social aux réflexions de Nicolas de Condorcet et Jean-Charles de Borda à la fin du XVIIIème siècle. Depuis, la théorie du choix social a principalement été l’apanage des économistes, des philosophes, des psychologues ou des mathématiciens, jusqu’à très récemment, où ce domaine a rencontré l’informatique, entraînant l’émergence du choix social computationnel. Ce rapprochement n’a rien d’étonnant : la recherche de consensus dans une collectivité étant une activité humaine par essence, il était donc naturel que l’informatique, et plus précisément l’intelligence artificielle, s’y intéresse et s’en empare. Dans cet exposé, nous tâcherons de dresser un panorama de ce domaine relativement nouveau et fructueux. Nous en évoquerons les principaux thèmes − théorie du vote, partage équitable de ressources, formation de coalition, agrégation de jugement − et nous donnerons quelques exemples de problèmes qui intéressent particulièrement la communauté des chercheurs en intelligence artificielle.