Faut-il encore donner des noms aux ours des Pyrénées ?