Añadidos ficheros en el spec y lib de la practica6