Mais qui utilise l'heure « légale » en France, précise au milliardième de seconde près ?