Si $BTTC atteint 45 $ alors j'achèterai 11 Ferrari.