./17 : la priorité des opérateurs reste gérée comme un cas particulier, ou bien ils ont aussi trouvé une astuce ?