Fini les cartes d'embarquement papier : ce qui va changer pour tous les voyageurs dès novembre