s. m. Temps destiné aux divertissements, lequel commence le jour des Rois et finit le mercredi des Cendres. Dans les premiers jours du carnaval. Pendant le carnaval. Les divertissements du carnaval. Les carnavals étaient plus gais autrefois qu'aujourd'hui.