Lundi de Pentecôte : jour férié, travaillé... ou solidaire ?