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