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)