Numérotation téléphonique — France. Direction générale des postes et télécommunications