Démission de Boris Johnson de la tête du parti conservateur : comment le Premier ministre est-il désigné au Royaume-Uni ?