MOD Random était...
Paix à son âme.

external_random l'a remplacé (temporairement), il est compatible 1.5.2 même si ce n'est pas précisé dans la doc.

8-)

PS: Je le mettrai dans les extensions dès que possible (avec une nouvelle extension).