Vers une nouvelle spécification formelle des systèmes multi-agents