Arête de Coste Rouge.