N'oubliez pas qu'en théorie (et certainement pour un AdQ), tout "travail personnel" est interdit, et qu'on ne peut que synthétiser des sources déjà publiées et validées... (bon, je pourrait peutêtre, à la rigueur, résumer Graph minors XX) 2) j'ai voulu montrer les diverses applications du travail de Robertson et Seymour en théorie de la complexité et en logique mathématique ; sans tricher, cela oblige une fois de plus à quelques rappels. Comment auriez vous vu cela ?