DIM – Recherches formelles de conditionnements de sous-vêtements