bonjour combien fait 6/5+7/5​