Les petits différends entre fonctionnaires civils et militaires n'ont pas besoin d'être rapportés chaque fois.