décoré de l’ordre du Drapeau Rouge