Productio suppletoria (грамм.) — то же, что заменительное растяжение или удлинение (см.). Энциклопедический словарь Брокгауза и Ефрона