Finalmente el método main controlará cualquier tipo de error desde catcher (de los dominios de errores que el método catcher ha definido que puede lanzar y que no controla el método).