Redoubler : définition, signification, synonymes et antonymes [rœduble]