Catalogus der boekerij van het Koninklijk Instituut van Ingenieurs Présentation interalliée de matériels du génie : catalogue des matériels