1 tablespoon olive oil · 1 onion finely chopped · 2 carrots finely chopped · 2 ribs celery finely chopped · 2 cloves garlic finely chopped · ½ teaspoon dried thyme ...