In memoriam: Boris Mirkine-Guetzévich (1892-1955)