C’était le 4 juillet : les têtes étaient sans doute déjà aux vacances puisqu’aucun des grands journaux nationaux français n’a jugé nécessaire de mettre à la Une cette information officielle de Sant…