correction warnings (le dernier commit avec ce nom est en fait un merge)