Il me semblait que la 4clause avait disparu des BSD. Tu peux regarder du coté d'OpenBSD. Peut-être que tu n'auras pas ce problème.