Une panne de logiciel d’un vaisseau spatial russe permet d’économiser du temps et du carburant