European Parliament votes for making 9 May an EU-wide public holiday - commentaires