A generalized Sard theorem on real closed fields. Issue 5 (18th January 2016)