Pour the olive oil into a pot set over medium heat. When it's hot, add the onion, carrot, and celery and cook 3 to 4 mins. Add garlic and herbes de provence and cook 1 min more. Then add stock, lentils and tomatoes, an bring to a gentle simmer. Simmer 15 minutes. Season with salt and pepper and serve.