1 defaultOptions = 2 -bindOptions " options_définition_accès " 2 %options DBRM (1) 3? -differenceOnly 3.1! FALSE 3.1 TRUE 4? %-grant (2) 5? %Options de trace (3)