Infinitif surcomposé

L’infinitif surcomposé, généralement ignoré des grammairiens, est constitué de l’auxiliaire de composition avoir ou être, à l’infinitif et du participe passé composé.

D’un emploi limité, il cumule l’expression de l’antériorité et de l’accompli par rapport à des faits exprimés au passé composé :

Après avoir eu fini d’éplucher les légumes, Agathe a fait bouillir de l’eau.