Cartes détaillées avec contrôle d’intégrité pour la navigation autonome des automobiles