Translate the following English sentence to French:
"The separation of functions would lead to the liberalisation of air traffic service provision, establishing, as indeed the Atkins report states, a liberalised internal market."
La séparation des fonctions aboutirait à libéraliser la fourniture des services du trafic aérien, à mettre en place, comme le dit le rapport Atkins d'ailleurs, un marché intérieur libéralisé.