Biblioteca de pruebas (catch.hpp) recuperada y corregidos errores introducidos por Javier Viquez