Update a_rocha_de_horeb.tex