L\'opérateur radio René Gros dans ses activités de maintenance