codice_6 se conoce como un "parámetro formal genérico".