mathématiques et musique formelle