Faut-il rendre le vaccin contre la grippe obligatoire pour les professionnels de santé ?