Lundi férié, Lundi doublé