Software Abstractions for Parallel Architectures. (Abstractions Logicielles pour Architectures Parallèles)