L'IRSID, Institut de recherches de la sidérurgie, 1945-1986 — Éloi Cadichon