Nombre completo del compañero y jefe de Mortadelo.