Revert "Revert "Rename Robot_Num_Mess_Alea to Robot_Num_Mess_Alea.php""

This reverts commit 9138a98453bd1996e053745d207945d6e2ec1410.