Ilmanen’s lemma on insertion of C 1 , 1 functions A. Fathi; M. Zavidovique — 2010 Rendiconti del Seminario Matematico della Università di Padova