2015-01-06 Thomas Quinot <quinot@adacore.com>