frans-log-def