No primeiro período do texto, a partícula "a" ocorre tanto como preposição quanto como artigo: a primeira ocorrência é uma preposição exigida pelo emprego do verbo "levou"; a segunda ocorrência é um artigo que determina "formalização".