Je dirai que ça ne fonctionne pas si seul le lundi 13 est pris en congé payé, mais pour le 10 ça joue ! Surtout pour les salarié.e.s dont les congés sont décomptés en jours ouvrés (dans ce cas, c'est un congé "gratuit" parce qu'un jour en plus est acquis - pour ne pas léser les salarié.e.s)