Dans la décision indiquée ci-dessus, le nom du service : « Radio Altitude » est remplacé par : « Pure Altitude ».