Lundi de Pentecôte : un jour férié, mais pas forcément chômé