Ripolin nom masculin (de Riep, nom propre, [nom déposé]) Peinture laquée très brillante de la marque de ce nom.