skulle nämnas till konung af Algeriet , med marskalk Randon till premierminister.