Bonjour, simon veut aller au théâtre. Il a 12,28 euros en poche il lui manque 3,25 pour entrer. Quel est le prix du ticket?