[[PROF_LATEX]] substitution in LaTeX code

4 jobs for master in 3 minutes and 45 seconds (queued for 3 seconds)