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? -isolationLevel 5.1 CS 5.1 RR 5.1 RS 5.1 UR 6? %Options de trace (3)