Décret du 17 novembre 2017 portant nomination dans la réserve opérationnelle