Comment bien coordonner des bataillons de robots mobiles, de sorte qu''ils puissent accomplir, ensemble, ce qu''ils sont appelés à faire? Dans la majeure partie des études, cette question est approchée essentiellement d''un point de vue empirique: les algorithmes existants utilisent principalement des heuristiques, et sont ensuite simplement testés soit par l''intermédiaire de simulations, soit sur des robots réels. Aucune preuve de validité et de finitude des solutions n''est proposée. A contrario, dans cet ouvrage nous nous intéressons à cet aspect des choses, en se concentrant sur des tâches de bases telles que la formation de motifs, l''élection de leader ou la localisation. Basiques en apparence, la solvabilité de ces problèmes s''avèrent toutefois être un préalable dans la réalisation de missions plus complexes. La tendance actuelle étant d''utiliser des agents dont les capacités sont très limitées (et donc relativement peu coûteux), tout nos travaux reposent donc sur une modélisation primaire des robots dont les principales caractéristiques sont d''êtres homogènes, autonomes, anonymes, sans mémoire et sans médium de communication.