A battle et à 40k, ce ne sont pas les mêmes. Les orks sont des champignons. Pas les orques.
De mémoire à WHJDR tu as des semi-orques, ce qui n'est pas possible avec les orks...
Et que je sache, les orks sont des champignons au moins depuis la V2, avec Waaargh the orks, le supplément qu'il est bien et qu'il est dispo sur Taran, le site qu'il est super bien.