on doNothing
  -- correction d'un mauvais imbriquement d'expr: 
end doNothing