quand $BOB peut-il valoir $1 ?