Procédé de détermination d’une grandeur physique, la grandeur physique vérifiant un système d’équations différentielles d’Hamilton-Jacobi pour respecter une contrainte variant spatialement dans un environnement prédéfini, le procédé étant mis en œuvre par un système de détermination (10) de la grandeur physique, le système de détermination (10) comprenant une pluralité de cœurs (18), le procédé comportant : - une phase de réception de données d’entrées, les données d’entrées comprenant des mesures de la contrainte en plusieurs points de l’environnement prédéfini, - une phase de détermination de la grandeur physique par utilisation d’une technique de résolution du système d’équations différentielles, pour obtenir la grandeur physique respectant la contrainte, la technique de résolution comportant plusieurs itérations, chaque itération comportant les étapes suivantes: - la transformation d’une liste courante en une liste compactée courante, la liste courante comportant des points de l’environnement prédéfini auxquels sont attribués un nombre, chaque point étant repéré par un indice, des indices spécifiques étant attribués à chaque cœur (18) de la pluralité de cœurs (18), l’ensemble des indices de la liste courante étant attribué à l’un des cœurs (18), la transformation comprenant : - l’initialisation de la liste compactée à une valeur d’initialisation, - pour chaque cœur (18) de la pluralité de cœurs (18) : - la détermination pour chaque point de la liste courante présentant un indice compris parmi des indices spécifiques au cœur (18) considéré si une condition binaire est vérifiée, pour obtenir un élément déterminé lorsque la condition binaire est vérifiée, et - pour chaque point de la liste courante déterminé, la modification d’une valeur de la liste compactée n’ayant pas été modifiée et présentant l’indice le plus petit de l’ensemble des indices spécifiques au cœur (18) considéré, - la lecture des valeurs de la liste compactée courante différentes de la valeur d’initialisation pour obtenir les points vérifiant la condition binaire, - la mise en œuvre de calculs uniquement sur les points déterminés, et - l’actualisation de la liste en fonction des calculs mis en œuvre, les itérations étant mises en œuvre jusqu’à ce que la liste courante soit vide. Procédé selon la revendication 1, dans lequel le nombre d’indices spécifiques est le même pour chaque cœur (18). Procédé selon la revendication 1 ou 2, dans lequel, à chaque cœur (18) est attribué un reste respectif de la division euclidienne par le nombre de cœurs (18), l’ensemble des indices spécifiques au cœur (18) considéré comprenant l’ensemble des indices dont le reste de la division euclidienne de l’indice par le nombre de cœurs (18) est égal au reste respectif. Procédé selon l’une quelconque des revendications 1 à 3, dans lequel chaque nombre attribué est un nombre binaire et la condition binaire est que le nombre binaire attribué est égal à une valeur prédéfinie. Procédé selon l’une quelconque des revendications 1 à 4, dans lequel la valeur d’initialisation est une valeur négative. Procédé selon l’une quelconque des revendications 1 à 5, dans lequel l’opération d’initialisation est également mise en œuvre par chaque cœur (18) uniquement pour les indices spécifiques au cœur (18) considéré. Procédé selon l’une quelconque des revendications 1 à 6, dans lequel la mise en œuvre itérative de calculs est réalisée jusqu’à ce que la liste courante soit vide. Procédé selon l’une quelconque des revendications 1 à 7, dans lequel, les calculs comportent une opération de test de convergence de la valeur du point . Procédé selon la revendication 8, dans lequel, pour chaque point, il est défini un stencil négatif, les calculs comportent également : - une opération d’élimination du point ayant fait l’objet de l’opération de test de la liste courante, et - une opération d’ajout de points uniquement si le test de convergence n’est pas satisfait, les points ajoutés étant de préférence les points du stencil négatif. Procédé selon l’une quelconque des revendications 1 à 9, dans lequel les contraintes sont des mesures d’au moins un capteur. Système de détermination (10) d’une grandeur physique, la grandeur physique vérifiant un système d’équations différentielles d’Hamilton-Jacobi pour respecter une contrainte variant spatialement dans un environnement prédéfini, le système de détermination (10) comprenant une pluralité de cœurs (18), le système de détermination (18) étant propre à mettre en œuvre un procédé de détermination d’une grandeur physique, le procédé comportant : - une phase de réception de données d’entrées, les données d’entrées comprenant des mesures de la contrainte en plusieurs points de l’environnement prédéfini, - une phase de détermination de la grandeur physique par utilisation d’une technique de résolution du système d’équations différentielles, pour obtenir la grandeur physique respectant la contrainte, la technique de résolution comportant plusieurs itérations, chaque itération comportant les étapes suivantes: - la transformation d’une liste courante en une liste compactée courante, la liste courante comportant des points de l’environnement prédéfini auxquels sont attribués un nombre, chaque point étant repéré par un indice, des indices spécifiques étant attribués à chaque cœur (18) de la pluralité de cœurs (18), l’ensemble des indices de la liste courante étant attribué à l’un des cœurs (18), la transformation comprenant : - l’initialisation de la liste compactée à une valeur d’initialisation, - pour chaque cœur (18) de la pluralité de cœurs (18) : - la détermination pour chaque point de la liste courante présentant un indice compris parmi des indices spécifiques au cœur (18) considéré si une condition binaire est vérifiée, pour obtenir un élément déterminé lorsque la condition binaire est vérifiée, et - pour chaque point de la liste courante déterminé, la modification d’une valeur de la liste compactée n’ayant pas été modifiée et présentant l’indice le plus petit de l’ensemble des indices spécifiques au cœur (18) considéré, - la lecture des valeurs de la liste compactée courante différentes de la valeur d’initialisation pour obtenir les points vérifiant la condition binaire, - la mise en œuvre de calculs uniquement sur les points déterminés, et - l’actualisation de la liste en fonction des calculs mis en œuvre, et les itérations étant mises en œuvre jusqu’à ce que la liste courante soit vide.