2014-11-20 Thomas Quinot <quinot@adacore.com>