$DOT ne va pas encore dépasser 11 dollars, n'est-ce pas ?