Update cristo_e_rei.tex