> Allgemein üblich ist die Bezeichnung "Ersatzinfinitiv".
Aha.
> Ich würde deshalb empfehlen, den gebräuchlichen > Begriff "Ersatzinfinitiv" zu verwenden.
Na gut, dann nehmen wir den.