Pruebas con doctest