Mentions légales du service
continue abstract interpretation after executing for-loop body by assuming inv[b+1]