Rol-Tanguy : des Brigades internationales à la libération de Paris /