Title: Extension de la notion de partition et application aux automates non déterministes