[Tutti-commits] 01/01: changement du nom du device