Il faut transformer le 9 mai en jour férié - commentaires