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