@def author = "Jun & Thibaut" @def generate_rss = false @def content_tag = "d-article" @def content_class = "franklin-content" \newcommand{\R}{\mathbb R} \newcommand{\scal}[1]{\langle #1 \rangle} @ignore ["checkpoints/"]