Y ahora definimos la función dormir: