Productio suppletoria

(грамм.) — то же, что заменительное растяжение или удлинение (см.).

Источник: Энциклопедический словарь Брокгауза и Ефрона на Gufo.me