Bonjour combien fait 2*x?