Corrections mineures: ai-b et ai-b-uefi-ic