Update micalis_generator.tex