(global-set-key [f1] 'tuareg-eval-buffer)
(global-set-key [f2] 'autoh-header-maj)
(global-set-key [f3] 'call-verif)
(global-set-key [f4] 'call-verif-rep)
(global-set-key [f5]  (lambda ()
		       (interactive)
		       (switch-to-buffer-other-window( other-buffer))))
(global-set-key [f6] (lambda ()
		       (interactive)
		       (switch-to-buffer (other-buffer))))
(global-set-key [f7] 'speedbar)
(global-set-key [f8] 'compile)
(global-set-key [f9] 'reindent-file)
(global-set-key [f10] 'reindent-rep)
(global-set-key [f11] 'insert-std-vertical-comments)
(global-set-key [f12] 'kill-this-buffer)

(global-set-key [end] 'end-of-line)
(global-set-key [home] 'beginning-of-line)

;;copie la region...(selectione avec ctrl_espace)
;;scrolling horizontal
(global-set-key [?\C-\;] 'copy-region-as-kill)
;(global-set-key "\C->" 'scroll-left)
;(global-set-key "\C-<" 'scroll-right)
(global-set-key "o" 'toggle-slow-scroll-mode)
(global-set-key [?\C-,] 'scroll-up-slowly)
(global-set-key [?\C-.] 'scroll-down-slowly)
(global-set-key "\C-cc" 'compile)
(global-set-key "\C-ck" 'compile)
(global-set-key "\C-ch" 'update-std-header)
(global-set-key "\C-ct" 'do_insert_time)
(global-set-key "\C-cH" 'std-file-header)
(global-set-key "\C-cb" 'switch-to-buffer-header)

;touche del et suppr
(global-set-key [delete] 'delete-char)
(global-set-key "\C-h" 'delete-backward-char)
(global-set-key "\C-cg" 'goto-line)

;calculatrice
(global-set-key [(control return)] 'calculator)
