"Le théorème de caractérisation des graphes qui excluent un mineur donné, du à Robertson et Seymour, est un théorème intimidant. En effet, outre ses nombreuses applications, son énoncé précis et sa preuve sont inhabituellement longs. Au cours de cet exposé, je m'attacherai à montrer que cette complexité est essentiellement d'ordre technique. Pour cela, je présenterai les grandes lignes de la preuve de ce résultat."