Enclos de ferme et double distributivité