Red lentil dhal: Mathilde Thomas’ recipe