Bituminous mixtures. Test methods for hot mix asphalt - Determination of the thickness of a bituminous pavement