Librería «random» [KE]