Marskalk Randon , generalguvernören i Algerien,