Approche formelle pour la modélisation et la simulation de systèmes multi-agents