décoré de l'ordre du drapeau rouge