En application de l'article 4 du décret du 25 août 2000 susvisé, les heures supplémentaires des agents du ministère de la défense seront soit compensées en temps, soit indemnisées.