idatt2001 / francinv / oblig3