je_comprends_double_distrib_4