garnir d’une nouvelle doublure (un vêtement, une protection quelconque, la coque d’un navire)
multiplier (il redoublait d’attention)
croître, augmenter subitement avec plus de force
recommencer un cours, une année d’études
rendre double
cessation des hostilités dans un conflit armé
rendu moins grand, moins important
affaibli par la vieillesse ou la maladie
comprenant une quinte diminuée et une 7e mineure
réduire, rendre moins grand, moins volumineux
rabaisser, porter atteinte, déprécier
amoindrir (tout ce qui n'est pas mesurable)
faiblir, décliner
