diminution · amenuisement · raccourcissement
raccourcissement, diminution, amenuisement
Action de rapetisser.