2012-11-06 Tristan Gingold <gingold@adacore.com>