1er-Mai : le jour est-il aussi férié chez nos voisins européens ?