C'est bien ochroleuca. Pas besoin de faire des comparaisons avec raoultii ou même pseudoraoultii, ces deux-là sont plus grêles, n'ont pas la même couleur (plus jaune pâle, et pas le même jaune). En outre, le bord de leur chapeau est plus ou moins cannelé. 😉
