Nous pr�senterons une extension du syst�me F+η (introduit par John C. Mitchell) avec un m�canisme d'exceptions typ�es. Le comportement calculatoire de notre m�canisme s'�loigne des comportements habituels puisque la r�duction des exceptions y suit une discipline en appel par nom. Nous montrerons que cette particularit� nous am�ne � consid�rer une nouvelle notion, la "corruption", pour le typage de ces exceptions. L'introduction de cette notion amenant entre autre chose une certaine modularit� du syst�me de type.
Une fois notre extension pr�sent�e, nous en exhiberons un mod�le de r�alisabilit� (d�fini par orthogonalit�) qui nous permettra d'�tablir des r�sultats de correction du typage et de normalisation (faible). Nous montrerons en particulier que l'interpr�tation de la fl�che dans ce mod�le n'est pas standard (et ne peut l'�tre).