Quel est le nombre dont le double augmenté de 5 vaut 11 ?