Formalizare / Formalización