Loading paper
Propagation of singularities for weak KAM solutions and barrier functions | Tomesphere