Ben voilà, réparation effectuée cet après-midi par le SAV de Verdun/Garonne. Rapide, efficace, sans rendez-vous, et pour un prix pas excessif à mon avis (59€, avec dépoussiérage et nettoyage capteur).