2015-11-18 Thomas Quinot <quinot@adacore.com>