le nombre des véhicules miniers