[jamin+puech+7]