Une structure logique utilisée dans la programmation informatique où deux ou plusieurs instructions répétées sont placées sous une forme «imbriquée» (c'est-à-dire qu'une boucle est située dans le corps d'une autre). La boucle intérieure est répétée en entier à chaque passage dans la boucle extérieure.