Francis Halleux's public data