corrección de los tipos de los parámetros formales