Un préfixe (07) supplémentaire pour la téléphonie mobile dès le 7 août