Comment les vaisseaux spatiaux et les voitures autonomes déterminent leur vraie position à partir de capteurs bruités : L'ingénierie mathématique du filtre de Kalman