premier jet non-fonctionnel de dijkstra