Dans ce cours on définit le complexe d'irrégularité d'un complexe holonome le long d'un espace analytique complexe. On montre que c'est un faisceau pour un module holonome et une hypersurface. On montre le critère fondamental de la régularité qui permettra d'établir la nullité du faisceau d'irrégularité. On montre que toutes les propriétés fonctorielles de la régularité sont des conséquences du critère fondamental. On montre le théorème d'existence du type de Riemann en construisant explicitement des réseaux canoniques à l'aide du théorème d'extension des faisceaux analytiques cohérents. On montre enfin le théorème d'existence du type de Frobenius concernant les complexes holonomes d'ordre infini.