Combien font 100 − 45 ?